A => M[B]